Spot functions and peripherals: Krein-Milman type theorems in an abstract setting
نویسندگان
چکیده
منابع مشابه
A cone theoretic Krein-Milman theorem in semitopological cones
In this paper, a Krein-Milman type theorem in $T_0$ semitopological cone is proved, in general. In fact, it is shown that in any locally convex $T_0$ semitopological cone, every convex compact saturated subset is the compact saturated convex hull of its extreme points, which improves the results of Larrecq.
متن کاملSome Remarks on Convex Analysis in Topological Groups
We discuss some key results from convex analysis in the setting of topological groups and monoids. These include separation theorems, Krein-Milman type theorems, and minimax theorems.
متن کاملArrow theorems in the fuzzy setting
Throughout this paper, our main idea is to analyze the Arrovian approach in a fuzzy context, paying attention to different extensions of the classical Arrow's model arising in mathematical Social Choice to aggregate preferences that the agents define on a set of alternatives. There is a wide set of extensions. Some of them give rise to an impossibility theorem as in the Arrovian classical mod...
متن کاملGraphical Krein Signature Theory and Evans-Krein Functions
Two concepts, evidently very different in nature, have proved to be useful in analytical and numerical studies of spectral stability in nonlinear wave theory: (i) the Krein signature of an eigenvalue, a quantity usually defined in terms of the relative orientation of certain subspaces that is capable of detecting the structural instability of imaginary eigenvalues and, hence, their potential fo...
متن کاملA Macro for Reusing Abstract Functions and Theorems
Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose a macro, named instance-of-defspec, to ease the reuse of abstract functions and facts proven about them. Defspec is an ACL2 book allowing users to define constrained functions and their associated properties. It cont...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1989
ISSN: 0022-247X
DOI: 10.1016/0022-247x(89)90291-6